Simulating Algebraic Specification Genericity on Languages with Initial Semantics

Simulating Algebraic Specification Genericity on Languages with Initial Semantics

This paper discusses the concept of genericity often used in algebraic specification languages and how this concept can be simulated in a meta level in languages with purely initial semantics, as it is the case for ELAN and ASF+SDF. This proposal is being integrated into the FERUS tool, in development for ELAN, and will have the effect of providing in the meta level better modularity features w...

Specification languages in algebraic compilers

Algebraic compilers provide a powerful and convenient mechanism for specifying language translators. With each source language operation one associates a computation for constructing its target language image; these associated computations, called derived operations, are expressed in terms of operations from the target language. Sometimes the target language is not powerful enough to specify th...

Algebraic Specification Method of Programming Languages

Parameter Passing in Algebraic Specification Languages

In this paper NT study the semantics of the parameter passing mechanism in algebraic qwcilication Ianguagcs. ;Ilore precisely. this problem is studied for parameterizcd data types and ptmmeterized qxcilkations. The given results include the extension of the model functor (which ih uwfuI for corrwtness proofs) and the semantic properties of the result ot inserting actual p,rr;unctcrs into parame...

ALGEBRAIC SPECIFICATION OF PROGRAMMING LANGUAGE SEMANTICS ( Extended

In this talk I shall first give a summary of my views on the aims and uses of formal specification of programming languages, and indicate the main approaches. Denotational semantics will be considered in particular, and some shortcomings of this approach will be suggested. A particular sort of algebraic semantics, called "A-Semantics", will be proposed as a means of alleviatJng these shortcomin...